Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
121	On Symmetric Circuits and FPC Anuj Dawar University of Cambridge Computer Laboratory joint work with Matthew Anderson Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:35:59 Complexity classes Theory of computation Theoretical computer science Circuit complexity Computational complexity theory Computer science Boolean circuit Logic in computer science NC P Circuit FO
122	Expressive Power and Abstraction in Essence David G. Mitchell and Eugenia Ternovska Computational Logic Laboratory Simon Fraser University {mitchell,ter}@cs.sfu.ca Abstract Add to Reading List Source URL: www.crt.umontreal.ca Language: English
123	Logical Preliminaries Johannes C. Flieger Scheme UK March 2003 Abstract Survey of intuitionistic and classical propositional logic; introduction to the computational interpretation of intuitionistic logic in the Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:17 Proof theory Mathematical logic Logic Mathematics CurryHoward correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Symbol Sequent Confidence interval
124	PDF Document Add to Reading List Source URL: geog.ucsb.edu Language: English - Date: 2011-07-21 01:34:35 Statistical distance Computational linguistics Information science Information Statistics Knowledge Semantic similarity Semantic Web Technical communication Description logic Ontology Similarity
125	PDF Document Add to Reading List Source URL: www.computational-logic.org Language: English - Date: 2010-10-01 05:02:29
126	PDF Document Add to Reading List Source URL: www.computational-logic.org Language: English - Date: 2010-10-09 03:41:06
127	Tour Programs (HALFDAY TOUR) 1. City Sight Seeing (5 hrs) Visit Yogya city to view Sonobudoyo Museum, Royal Palace, Bird market, Handmade Batik home industry, Leather and wooden Puppet factory and Silversmith factory at Add to Reading List Source URL: www.computational-logic.org Language: English - Date: 2010-10-01 05:02:29
128	Computational Logic WWW Programming Using LP/CLP Systems 1 LP/CLP, the Internet, and the WWW Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2006-11-22 18:19:49
129	1 ABDUCTION: BETWEEN CONCEPTUAL RICHNESS AND COMPUTATIONAL COMPLEXITY Stathis Psillos Add to Reading List Source URL: users.uoa.gr Language: English - Date: 2011-12-02 03:22:10 Philosophy of science Reasoning Epistemology Critical thinking Scientific method Abductive reasoning Inductive reasoning Inquiry Deductive-nomological model Science Logic Knowledge
130	Algorithmica: Algorithmica 9 1994Springer-VerlagNewYorkInc. Planar Geometric Location Problems I Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2011-05-26 17:06:03 Computational complexity theory Computational geometry Structural complexity theory Analysis of algorithms Algorithm Mathematical logic Point location Reduction Time complexity Theoretical computer science Applied mathematics Mathematics

UPDATE